void genera_mazzo();
